89 research outputs found
Cyclic multicategories, multivariable adjunctions and mates
A multivariable adjunction is the generalisation of the notion of a 2-variable adjunction, the classical example being the hom/tensor/cotensor trio of functors, to n + 1 functors of n variables. In the presence of multivariable adjunctions, natural transformations between certain composites built from multivariable functors have “dual” forms. We refer to corresponding natural transformations as multivariable or parametrised mates, generalising the mates correspondence for ordinary adjunctions, which enables one to pass between natural transformations involving left adjoints to those involving right adjoints. A central problem is how to express the naturality (or functoriality) of the parametrised mates, giving a precise characterization of the dualities so-encoded.
We present the notion of “cyclic double multicategory” as a structure in which to organise multivariable adjunctions and mates. While the standard mates correspondence is described using an isomorphism of double categories, the multivariable version requires the framework of “double multicategories”. Moreover, we show that the analogous isomorphisms of double multicategories give a cyclic action on the multimaps, yielding the notion of “cyclic double multicategory”. The work is motivated by and applied to Riehl's approach to algebraic monoidal model categories
Stable Postnikov data of Picard 2-categories
Picard 2-categories are symmetric monoidal 2-categories with invertible 0-, 1-, and 2-cells. The classifying space of a Picard 2-category is an infinite loop space, the zeroth space of the -theory spectrum . This spectrum has stable homotopy groups concentrated in levels 0, 1, and 2. In this paper, we describe part of the Postnikov data of in terms of categorical structure. We use this to show that there is no strict skeletal Picard 2-category whose -theory realizes the 2-truncation of the sphere spectrum. As part of the proof, we construct a categorical suspension, producing a Picard 2-category from a Picard 1-category , and show that it commutes with -theory in that is stably equivalent to
Azumaya Objects in Triangulated Bicategories
We introduce the notion of Azumaya object in general homotopy-theoretic
settings. We give a self-contained account of Azumaya objects and Brauer groups
in bicategorical contexts, generalizing the Brauer group of a commutative ring.
We go on to describe triangulated bicategories and prove a characterization
theorem for Azumaya objects therein. This theory applies to give a homotopical
Brauer group for derived categories of rings and ring spectra. We show that the
homotopical Brauer group of an Eilenberg-Mac Lane spectrum is isomorphic to the
homotopical Brauer group of its underlying commutative ring. We also discuss
tilting theory as an application of invertibility in triangulated bicategories.Comment: 23 pages; final version; to appear in Journal of Homotopy and Related
Structure
Locally constrained homomorphisms on graphs of bounded treewidth and bounded degree.
A homomorphism from a graph G to a graph H is locally bijective, surjective, or injective if its restriction to the neighborhood of every vertex of G is bijective, surjective, or injective, respectively. We prove that the problems of testing whether a given graph G allows a homomorphism to a given graph H that is locally bijective, surjective, or injective, respectively, are NP-complete, even when G has pathwidth at most 5, 4 or 2, respectively, or when both G and H have maximum degree 3. We complement these hardness results by showing that the three problems are polynomial-time solvable if G has bounded treewidth and in addition G or H has bounded maximum degree
Induced Disjoint Paths in Circular-Arc Graphs in Linear Time
The Induced Disjoint Paths problem is to test whether a graph G with k distinct pairs of vertices (si,ti) contains paths P1,…,Pk such that Pi connects si and ti for i=1,…,k, and Pi and Pj have neither common vertices nor adjacent vertices (except perhaps their ends) for 1≤
Exploring concurrency and reachability in the presence of high temporal resolution
Network properties govern the rate and extent of spreading processes on
networks, from simple contagions to complex cascades. Recent advances have
extended the study of spreading processes from static networks to temporal
networks, where nodes and links appear and disappear. We review previous
studies on the effects of temporal connectivity for understanding the spreading
rate and outbreak size of model infection processes. We focus on the effects of
"accessibility", whether there is a temporally consistent path from one node to
another, and "reachability", the density of the corresponding "accessibility
graph" representation of the temporal network. We study reachability in terms
of the overall level of temporal concurrency between edges, quantifying the
overlap of edges in time. We explore the role of temporal resolution of
contacts by calculating reachability with the full temporal information as well
as with a simplified interval representation approximation that demands less
computation. We demonstrate the extent to which the computed reachability
changes due to this simplified interval representation.Comment: To appear in Holme and Saramaki (Editors). "Temporal Network Theory".
Springer- Nature, New York. 201
Advancing an interdisciplinary framework to study seed dispersal ecology
Although dispersal is generally viewed as a crucial determinant for the fitness of any organism, our understanding of its role in the persistence and spread of plant populations remains incomplete. Generalizing and predicting dispersal processes are challenging due to context dependence of seed dispersal, environmental heterogeneity and interdependent processes occurring over multiple spatial and temporal scales. Current population models often use simple phenomenological descriptions of dispersal processes, limiting their ability to examine the role of population persistence and spread, especially under global change. To move seed dispersal ecology forward, we need to evaluate the impact of any single seed dispersal event within the full spatial and temporal context of a plant’s life history and environmental variability that ultimately influences a population’s ability to persist and spread. In this perspective, we provide guidance on integrating empirical and theoretical approaches that account for the context dependency of seed dispersal to improve our ability to generalize and predict the consequences of dispersal, and its anthropogenic alteration, across systems. We synthesize suitable theoretical frameworks for this work and discuss concepts, approaches and available data from diverse subdisciplines to help operationalize concepts, highlight recent breakthroughs across research areas and discuss ongoing challenges and open questions. We address knowledge gaps in the movement ecology of seeds and the integration of dispersal and demography that could benefit from such a synthesis. With an interdisciplinary perspective, we will be able to better understand how global change will impact seed dispersal processes, and potential cascading effects on plant population persistence, spread and biodiversity
- …